package thread.invariantframework;

import thread.invariantframework.state.InvariantState;

/**
 * 任何需要对约束条件进行测试的类必须实现这个接口
 */
public interface Invariant {
	InvariantState invariant();
}